1. Automata and computability /
Author: Dexter C. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
Classification :
QA267
.
K69
1997eb
2. Dynamic logic
Author: / David Harel, Dexter Kozen, Jerzy Tiuryn
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Formal methods (Computer science)
Classification :
QA
,
76
.
9
,.
L63
,
H37
,
2000
3. Dynamic logic
Author: /David Harel; Dexter Kozen; Jerzy Tiuryn
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:
4. Logics of Programs :
Author: edited by Dexter Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
5. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
Author: edited by Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
131
6. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
164
7. Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author: edited by Edmund Clarke and Dexter Kozen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
164
8. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
Author: / Edited by Edmund Clarke, Dexter Kozen
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
Classification :
QA76
.
6
.
L5855
1985
9. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
Author: Dexter Kozen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3125
10. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
Author: Dexter Kozen, editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
Classification :
QA
76
.
6
.
I5535
2004
11. The design and analysis of algorithms
Author: Kozen, Dexter, 1591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer algorithms
Classification :
QA
76
.
9
.
A43K69
1992
12. The design and analysis of algorithms
Author: Kozen, Dexter
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer algorithms
Classification :
QA
76
.
9
.
A43
K69
13. Theory of computation
Author: / Dexter C. Kozen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity.,Computer science--Mathematics,Recursion theory.
Classification :
QA
,
267
.
7
,.
K69
,
2006
14. Theory of computation
Author: / Dexter C. Kozen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computational complexity,Computer science -- Mathematics,Recursion theory
Classification :
QA
267
.
7
.
K69
2006
15. Theory of computation : with 75 illustrations
Author: Kozen, Dexter
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computational complexity,Mathematics ، Computer science,، Recursion theory
Classification :
QA
267
.
7
.
K69
2006
